The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lire la suiteThis book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Lire la suiteThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lire la suiteThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Lire la suiteThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Lire la suiteEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suiteEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Lire la suiteThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Lire la suiteThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer ...
Lire la suiteThis two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering ...
Lire la suiteThis book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
Lire la suiteThis book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
Lire la suiteThis tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Lire la suiteThis book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lire la suite